HATS: Highly Adaptable and Trustworthy Software using Formal Models

HATS: Highly Adaptable and Trustworthy Software Using Formal Methods

The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand on trustworthiness. Existing modeling formalisms leave gap between highly abstract, largely structural models and executable code on the implementation level. In HATS we aim to close this gap with an object-oriented,...

HATS - A Formal Software Product Line Engineering Methodology

Trust in software is typically achieved via stabilisation efforts over long periods of use. Adaptation to changing circumstances, however, often requires substantial change of the software. Changing a software system using standard manufacturing processes often results in quality regressions, invalidating trust. Formal methods provide means to guarantee various properties of a software system t...

Project Acronym : HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models

method contracts are fully compatible with contract deltas, with the restriction that assignable clauses may not be changed. The only difference is that all changes specified in a delta are acted upon in the definition section of an abstract contract—the abstract section remains completely unchanged. In our example, the application of the delta in Fig. 2.7 results in an abstract contract with t...

Project Title : Highly Adaptable and Trustworthy Software using Formal Models

Project Acronym : HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models

Long-lived, dependable systems evolve during their life time: new functionality is added, errors are discovered, new requirements appear, etc. It is often infeasible to stop and redeploy a system in order to upgrade it, due to the associated downtime. A system that can adapt to changes dynamically is more dependable. In this paper we present dynamic ABS: to cope with the need to modify ABS code...